Thực đơn
Suy_luận_kiểu Tham khảoThực đơn
Suy_luận_kiểu Tham khảoLiên quan
Suy luận thống kê Suy luận Bayes Suy luận quy nạp Suy luận loại suy Suy luận Suy luận kiểu Suy luận diễn dịch Suy luận logic Suy luận dựa theo trường hợp Suy luận về lỗi tấn côngTài liệu tham khảo
WikiPedia: Suy_luận_kiểu http://www.codecommit.com/blog/scala/what-is-hindl... http://www.brics.dk/~mis/typeinf.pdf http://www.cis.upenn.edu/~bcpierce/types/archives/... http://lucacardelli.name/Papers/BasicTypechecking.... http://dysphoria.net/2009/06/28/hindley-milner-typ... https://web.archive.org/web/20070218103011/http://... https://web.archive.org/web/20110410102617/http://...